Verification tasks. Verify the following properties:
2. Termination.